Fix setStoreChannel(None) - fixes cleanup on destroy.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 4f645576f16055934734107c37ea7a94d46fb6cd..1c89862ae21062697d65f5c1d545e610fe407a76 100644 (file)
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -343,7 +343,11 @@ class XendDomainInfo:
         if self.store_channel and self.store_channel != channel:
             self.store_channel.close()
         self.store_channel = channel
-        self.storeDom("store/port", channel.port1)
+        if channel:
+            port = channel.port1
+        else:
+            port = None
+        self.storeDom("store/port", None)
 
     def setConsoleRef(self, ref):
         self.console_mfn = ref